5

ii

data Nat = Zero | Succ Nat
sum :: Nat -> Nat -> Nat
sum Zero b = b
sum (Succ a) b = Succ (sum a b)

Corrections